From the Kochen-Specker Theorem to Noncontextuality Inequalities without Assuming Determinism

From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism.

The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value assignment to a projector is one that does not depend on which other projectors-the context-are measured together with it. Using...

1 Local Determinism versus the Kochen - Specker Theorem

Inequalities for experimental tests of the Kochen-Specker theorem

We derive inequalities for n spin-1/2 systems under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this assumption is connected to the no-hidden-variables theorem of Kochen and Specker (KS theorem). These inequalities give a way to experimentally test the KS theorem...

Kochen-Specker theorem for eight-dimensional space

A Kochen-Specker contradiction is produced with 36 vectors in a real eight-dimensional Hilbert space. These vectors can be combined into 30 distinct projection operators ( 14 of rank 2, and 16 of rank 1). A state-specific variant of this contradiction requires only 13 vectors, a remarkably low number for eight dimensions. The Kochen-Specker theorem [ l] asserts that, in a Hilbert space with a f...

Kochen-Specker theorem for von Neumann algebras

The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type In factor as algebra of observables, including I∞. Afterwards, we give a proof of...